Object theory

Results: 981



#Item
371Object-oriented programming / Polymorphism / Type theory / Data types / Functional programming / Function overloading / Parametric polymorphism / ALGOL 68 / Assertion / Software engineering / Computing / Computer programming

Implementing Overloading and Polymorphism in Cforall by Richard C. Bilson

Add to Reading List

Source URL: plg.uwaterloo.ca

Language: English - Date: 2003-10-01 16:16:36
372Cross-platform software / Java platform / Database theory / Relational database / Oracle Corporation / Oracle Database / XML / Object-oriented programming / OpenAccess ORM / Computing / Software / Object-relational mapping

Colorado Software Summit: October 24 – 29, 2004 © Copyright 2004, Oracle Corporation Mapping Java Objects to XML and Relational Databases

Add to Reading List

Source URL: www.softwaresummit.com

Language: English - Date: 2008-01-03 04:06:32
373Object-oriented programming / Data types / Type theory / Immutable object / Constructor / C++ classes / Objective-C / Type system / Generic programming / Software engineering / Computing / Computer programming

15 Object-Oriented Programming As you may have guessed from the name, Objective Caml supports object-oriented programming. Unlike imperative programming, in which execution is driven by explicit sequencing of operations,

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2011-11-23 02:41:37
374Moduli theory / Scheme theory / Invariant theory / Algebraic surfaces / Moduli space / Resolution of singularities / Enriques–Kodaira classification / Surface of general type / Moduli of algebraic curves / Algebraic geometry / Geometry / Abstract algebra

MURPHY’S LAW IN ALGEBRAIC GEOMETRY: BADLY-BEHAVED DEFORMATION SPACES RAVI VAKIL A BSTRACT. We consider the question: “How bad can the deformation space of an object be?” The answer seems to be: “Unless there is s

Add to Reading List

Source URL: math.stanford.edu

Language: English - Date: 2005-07-07 21:44:12
375Data types / C++ / Type theory / C programming language / Object-oriented programming / Struct / Type conversion / Reference / Pointer / Software engineering / Computer programming / Computing

Getting Started with Whiley David J. Pearce April 8, 2015 Abstract The aim of this document is to provide a short introduction to the Whiley programming language, in order to get you up and running quickly. However, it i

Add to Reading List

Source URL: whiley.org

Language: English - Date: 2015-04-07 19:00:10
376Functional languages / Type theory / Java programming language / Program analysis / Type system / Generic programming / OCaml / Objective-C / Constructor / Software engineering / Computer programming / Computing

16 Comparison of the Models of Organisation Chapters 14 and 15 respectively presented two models of application organisation: The functional/modular model and the object model. These two models address, each in

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2011-11-23 02:41:37
377Search algorithms / Game theory / Computer chess / Combinatorial game theory / Minimax / Variation / Sequence container / ALGOL 68 / Hindley–Milner / Game artificial intelligence / Mathematics / Artificial intelligence

17 Applications This chapter illustrates program structure via two examples: the first uses a modular model; the second, an object model. The first application provides a set of parametric modules for two player games. A

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2011-11-23 02:41:37
378Computer vision / Science / Salience / Feature integration theory / Object recognition / Laurent Itti / Visual search / Anne Treisman / Kadir–Brady saliency detector / Cognitive science / Neuropsychology / Neuroscience

Vision Research[removed]–1352 Contents lists available at ScienceDirect Vision Research journal homepage: www.elsevier.com/locate/visres

Add to Reading List

Source URL: ilab.usc.edu

Language: English - Date: 2010-06-10 17:12:31
379Artificial intelligence / Rotational symmetry / Quantum field theory / Spin / Spintronics / Object recognition / Pattern recognition / Scale-invariant feature transform / Computer vision / Physics / Vision

A New Signature-Based Method for Efficient 3-D Object Recognition Salvador Ruiz-Correay , Linda G. Shapiroy and Marina Meil˘az yDepartment of Electrical Engineering zDepartment of Statistics University of Washington, Se

Add to Reading List

Source URL: www.stat.washington.edu

Language: English - Date: 2002-03-20 17:56:37
380Injective module / Essential extension / Injective hull / Associated prime / Projective cover / Module / Injective function / Injective object / Completion / Abstract algebra / Algebra / Module theory

DUALIZING COMPLEXES Contents 1. Introduction 2. Essential surjections and injections 3. Injective modules

Add to Reading List

Source URL: stacks.math.columbia.edu

Language: English - Date: 2015-04-15 15:09:07
UPDATE